Enterprise Version
abstract interpretations